Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
نویسندگان
چکیده
منابع مشابه
Competition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملSecond Competition on Software Verification - (Summary of SV-COMP 2013)
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency, and as available and participated. The benchmark set of v...
متن کاملSoftware Verification and Verifiable Witnesses - (Report on SV-COMP 2015)
SV-COMP 2015 marks the start of a new epoch of software verification: In the 4th Competition on Software Verification, software verifiers produced for each reported property violation a machine-readable error witness in a common exchange format (so far restricted to reachability properties of sequential programs without recursion). Error paths were reported previously, but always in different, ...
متن کاملEmpirical software metrics for benchmarking of verification tools
Program Variables. Bit-precision or mathematical integers? ints used as indices, bit-masks or in arithmetic? Dynamic data structures? Arrays? Program Loops. Reducible loops or goto programs? FOR-loops or advanced ranking functions? Widening, loop acceleration, termination analysis, or loop unrolling? Control Flow. Recursion? Function pointers? Multithreading? Straight-line code or complex branc...
متن کاملSecond Competition on Software Verification
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency. The benchmark set of verification tasks consists of eleve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2019
ISSN: 0163-5948
DOI: 10.1145/3282517.3282529